State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings

Hybrid Petri nets have been extended to include general transitions that fire after a randomly distributed amount of time. With single one-shot transition the state space and evolution over time can be represented either as Parametric Location Tree or Stochastic Time Diagram . Recent work has shown both representations combined then allow multiple stochastic firings. This presents an algorithm for building with firings shows how its transient probability distribution computed using multi-dimensional integration. We discuss (dis-)advantages interval arithmetic geometric approach compute areas Furthermore, we provide details on perform Monte Carlo integration directly these intervals convex polytopes, transformation standard simplices. A case study battery-backup system feasibility discusses performance different approaches.